#include <stdint.h>
#include "platform_drv.h"
#include "task_manage.h"

int main(void)
{	
	PlatformDrvInit();
	TaskManageInit();
	
	while (1)
	{
		
	}
}


